Equivalence relation - PDFSEARCH.IO - Document Search Engine

Equivalence relation
Results: 323

#	Item
51	Acta Numerica http://journals.cambridge.org/ANU Additional services for Acta Numerica: Add to Reading List Source URL: www.ayasdi.com Language: English - Date: 2015-02-12 20:18:45 Homotopy theory Topological spaces Algebraic topology General topology Fundamental group Homotopy Quotient space Path Equivalence relation Topology Mathematics Space
52	Beyond Provable Security: Verifiable IND-CCA Security of OAEP Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Ciphertext indistinguishability Public-key cryptography Mathematical proof Concrete security Random oracle RSA Equivalence relation Cryptography Optimal asymmetric encryption padding Mathematical logic
53	Automatic Synthesis of Assumptions for Compositional Model Checking? Bernd Finkbeiner1 , Sven Schewe1 , and Matthias Brill2 1 Universit¨ Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:38:35
54	ON THE UBIQUITY OF GORENSTEIN QUASI-ORDERS Leslie Cohn AP Academic Publications Add to Reading List Source URL: acadpubl.eu Language: English - Date: 2012-10-10 08:40:26 Algebra Equivalence relation Ideal Group Finitary relation Inverse element Preorder Mathematics Algebraic structures Abstract algebra
55	MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-05-07 04:10:57 Theory of computation Theoretical computer science Functions and mappings Function Computable function Equivalence relation Recursion Primitive recursive function Μ operator Mathematics Computability theory Mathematical logic
56	Weakly Equivalent Arrays J¨ urgen Christ and Jochen Hoenicke∗ arXiv:1405.6939v1 [cs.LO] 27 May 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-27 20:45:29 Arrays Array data type Array data structure Equivalence relation C Uninterpreted function Weak equivalence Bit array Satisfiability Modulo Theories Computing Software engineering Computer programming
57	SEARCH, Computational Processes in Evolution, and Preliminary Development of the Gene Expression Messy Genetic Algorithm Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Equivalence relation Binary relation Function Total order Selection algorithm Structure Algorithm Genetic algorithm Mathematics Mathematical logic Theoretical computer science
58	2-Covering spaces David M Roberts University of Adelaide October 1, 2009 Add to Reading List Source URL: ncatlab.org Language: English Homotopy theory Algebraic topology Category theory Algebraic structures Groupoid Covering space Fundamental group Equivalence relation Functor Topology Abstract algebra Mathematics
59	Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases3 Max J. Egenhofer University of Maine, National Center for Geographic Information and Analysis and Department of Survey Add to Reading List Source URL: www.spatial.maine.edu Language: English - Date: 1998-04-04 01:13:59 Space Topological space Open set Connected space Boundary Equivalence relation Closure Continuous function Dimension Topology General topology Mathematics
60	Inducing Class 4 Behavior on the Basis of Lattice Analysis Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:04 Lattice theory Crystallography Equivalence relation Lattice Distributive lattice Partition of a set Cellular automaton Brillouin zone Mathematics Abstract algebra Œ